Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation David Kaloper-Merˇsinjak† , Hannes Mehnert† , Anil Madhavapeddy and Peter Sewell University of Cambridge Comput

Source URL: anil.recoil.org

• Transport Layer Security
• Cryptographic protocols
• Cryptographic software
• Secure communication
• Internet security
• OpenSSL
• Heartbleed
• Comparison of TLS implementations
• Mbed TLS
• Cipher suite
• HTTPS
• POODLE